Fuzzy Logic Algebras on Residuated Lattices
نویسنده
چکیده
We focus on some important fuzzy logic algebras on residuated lattices. These interesting algebraic structures and their main properties are reviewed, and their relationships are clarified. Corresponding formal deductive systems for fuzzy logic are
منابع مشابه
Filters of residuated lattices and triangle algebras
An important concept in the theory of residuated lattices and other algebraic structures used for formal fuzzy logic, is that of a filter. Filters can be used, amongst others, to define congruence relations. Specific kinds of filters include Boolean filters and prime filters. In this paper, we define several different filters of residuated lattices and triangle algebras and examine their mutual...
متن کاملIndependent definition of reticulations on residuated lattices
A notion of reticulation which provides topological properties on algebras has introduced on commutative rings in 1980 by Simmons in [5]. For a given commutative ring A, a pair (L, λ) of a bounded distributive lattice and a mapping λ : A → L satisfying some conditions is called a reticulation on A, and the map λ gives a homeomorphism between the topological space Spec(A) consisting of prime fil...
متن کاملThe pseudo-linear semantics of interval-valued fuzzy logics
Triangle algebras are equationally defined structures that are equivalent with certain residuated lattices on a set of intervals, which are called interval-valued residuated lattices (IVRLs). Triangle algebras have been used to construct Triangle Logic (TL), a formal fuzzy logic that is sound and complete w.r.t. the class of IVRLs. In this paper, we prove that the so-called pseudo-prelinear tri...
متن کاملTriangle algebras: A formal logic approach to interval-valued residuated lattices
In this paper, we introduce triangle algebras: a variety of residuated lattices equipped with approximation operators, and with a third angular point u, different from 0 and 1. We show that these algebras serve as an equational representation of intervalvalued residuated lattices (IVRLs). Furthermore, we present Triangle Logic (TL), a system of many-valued logic capturing the tautologies of IVR...
متن کاملTriangle Algebras: Towards an Axiomatization of Interval-Valued Residuated Lattices
In this paper, we present triangle algebras: residuated lattices equipped with two modal, or approximation, operators and with a third angular point u, different from 0 (false) and 1 (true), intuitively denoting ignorance about a formula’s truth value. We prove that these constructs, which bear a close relationship to several other algebraic structures including rough approximation spaces, prov...
متن کامل